# dummy makefile (for the extension to activate)